Implication Details

Assumptions: countably distributive, self-dual

Conclusions: countably codistributive

Proof: This holds by self-duality.